Adding Types, But Not Tokens, Affects Property Induction
نویسندگان
چکیده
منابع مشابه
On Diagram Tokens and Types
Rejecting the temptation to make up a list of necessary and sufficient conditions for diagrammatic and sentential systems, we present an important distinction which arises from sentential and diagrammatic features of systems. Importantly, the distinction we will explore in the paper lies at a meta-level. That is, we argue for a major difference in metatheory between diagrammatic and sentential ...
متن کاملTypes and Tokens for Logic with Diagrams
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams are rigor enough to play an essential role in a proof. This paper takes the opposite point of view: It is argued that rigor formal logic can carried out with diagrams. In order to do that, it is first analyzed which p...
متن کاملTemporal Entities - Types, Tokens and Qualifications
Reified logics have been a major subject of interest in the knowledge representation community for well over twenty years, since over the years, the need to quantify and reason about propositional entities such as events and states among other temporal entities has grown. Galton had made it clear that one may either refer to types or tokens (instances) of such entities in the ontology. A clear ...
متن کاملSorafenib, but not sunitinib, affects function of dendritic cells and induction of primary immune responses.
The tyrosine kinase inhibitors sorafenib and sunitinib are approved for the treatment of patients with malignant diseases. To analyze the possible use of these compounds in combination with immunotherapeutic approaches, we analyzed the effects of both inhibitors on the immunostimulatory capacity of human dendritic cells (DCs) and the induction of primary immune responses in vivo. Sorafenib, but...
متن کاملcalcium‑vitamin d co‑supplementation affects metabolic profiles, but not pregnancy outcomes, in healthy pregnant women
background: pregnancy is associated with unfavorable metabolic profile, which might in turn result in adverse pregnancy outcomes. the current study was designed to evaluate the effects of calcium plus vitamin d administration on metabolic status and pregnancy outcomes in healthy pregnant women. methods: this randomized double‑blind placebo‑controlled clinical trial was performed among 42 pregna...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cognitive Science
سال: 2020
ISSN: 0364-0213,1551-6709
DOI: 10.1111/cogs.12895